Functional completeness and non-Ł ukasiewiczian truth functions.
نویسندگان
چکیده
منابع مشابه
Fibring Non-Truth-Functional Logics: Completeness Preservation
Fibring has been shown to be useful for combining logics endowed with truthfunctional semantics. However, the techniques used so far are unable to cope with fibring of logics endowed with non-truth-functional semantics as, for example, paraconsistent logics. The first main contribution of the paper is the development of a suitable abstract notion of logic, that may also encompass systems with n...
متن کاملNon-truth-functional Order Norms
I defend the introduction of triangular (semi)norms and (semi)conorms on bounded partially ordered sets. First, I give a brief survey of the general properties of these binary operators. Then, I work out a number of examples in diverse fields of mathematics, to show that it is indeed useful and natural to generalize the definition of triangular (semi)norms and (semi)conorms from the unit interv...
متن کاملNon-Truth-Functional Fibred Semantics
Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with nontruth-functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional r...
متن کاملNon Truth-Functional Many-Valuedness
Many-valued logics are standardly defined by logical matrices. They are truth-functional. In this paper non truth-functional many-valued semantics are presented, in a philosophical and mathematical perspective. MSC Primary: 03B50, Secondary: 03B22 03B53 03B20 03B45
متن کاملWhat is a Non-truth-functional Logic?
What is the fundamental insight behind truth-functionality? When is a logic interpretable by way of a truth-functional semantics? To address such questions in a satisfactory way, a formal definition of truthfunctionality from the point of view of abstract logics is clearly called for. As a matter of fact, such a definition has been available at least since the 70s, though to this day it still r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1980
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093883177